|
In mathematics, and more precisely in analysis, the Wallis' integrals constitute a family of integrals introduced by John Wallis. == Definition, basic properties == The ''Wallis' integrals'' are the terms of the sequence defined by: : or equivalently (through a substitution: ): : In particular, the first few terms of this sequence are: | align="center" | | align="center" | | align="center" | | align="center" | | align="center" | | align="center" | | align="center" | | align="center" | | align="center" | ... |} The sequence is decreasing and has strictly positive terms. In fact, for all : *, because it is an integral of a non-negative continuous function which is not all zero in the integration interval * :(by the linearity of integration and because the last integral is an integral of a non-negative function within the integration interval) Note: Since the sequence is decreasing and bounded below by 0, it converges to a non-negative limit. Indeed, the limit is zero (see below). 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Wallis' integrals」の詳細全文を読む スポンサード リンク
|